1. Alternative Logics. Do Sciences Need Them?
پدیدآورنده : edited by Paul Weingartner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Information theory.,Physics.,Quantum theory.
2. An introduction to combinators and )Lambda(-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
3. Automata, languages and programming :
پدیدآورنده : edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
4. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده : / Edited by C. Bohm
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
5. Combinators, [lambda]-Terms and Proof Theory
پدیدآورنده : by Sören Stenlund.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
6. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
7. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
8. Combinators, -terms and proof theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Combinatory logic
رده :
QA9
.
S753
9. Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and its Applications)
پدیدآورنده : / لKatalin Bimb
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
10. Combinatory logic
پدیدآورنده : / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Combinatory logic
رده :
511
.
3
C976
11. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
12. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
موضوع : ، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Combinatory logic
پدیدآورنده : Katalin Bimbao
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatory logic
رده :
QA
9
,.
5
.
B52C6
2012
14. Combinatory logic. Volume II
پدیدآورنده : [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
15. Combinatory logic : pure, applied and typed
پدیدآورنده : Bimbo, Katalin, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
B55C6
16. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
موضوع : ، Recursion theory,، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
18. Disertación acerca del arte combinatorio
پدیدآورنده : de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
رده :
QA9
.
5
D449
1992
19. Elements of combinatory logic
پدیدآورنده : / Frederic B. Fitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Combinatory logic
رده :
511
.
3
Fi-E
20. Foundations of mathematics :
پدیدآورنده : Erwin Engeler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA9
.
8
E795
2012
